Bārzdinš, Janis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Metamodel specialization for graphical language support

Kalnins, Audris, Barzdins, Janis

Journal:

Software & Systems Modeling

Year:

2018

Language:

english

File:

PDF, 14.56 MB

english, 2018

2

Graphical modeling and query language for hospitals

Barzdins, Janis, Barzdins, Juris, Rencis, Edgars, Sostaks, Agris

Journal:

Health Information Science and Systems

Year:

2013

Language:

english

File:

PDF, 687 KB

english, 2013

3

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Complexity of probabilistic versus deterministic automata

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 2.24 MB

english, 1991

4

Learning with belief levels

Jānis Bārzdiņš, Rūsiņš Freivalds, Carl H. Smith

Journal:

Journal of Computer and System Sciences

Year:

2008

Language:

english

File:

PDF, 212 KB

english, 2008

5

SmartARP: merging IP and MAC addressing for low-cost gigabit Ethernet networks

Andris Sidorovs, Guntis Barzdins, Janis Lacis, Karlis Ogsts

Journal:

Computer Networks

Year:

1999

Language:

english

File:

PDF, 915 KB

english, 1999

6

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Qualitative theory

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.96 MB

english, 1991

7

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Toward knowledge-based specifications of languages

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 607 KB

english, 1991

8

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || The programming system PRIZ

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 968 KB

english, 1991

9

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive synthesis of dot expressions

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 2.82 MB

english, 1991

10

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Complexity bounds

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 2.15 MB

english, 1991

11

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Type-theoretical semantics of some declarative languages

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 561 KB

english, 1991

12

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Using resolution for deciding solvable classes and building finite models

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.58 MB

english, 1991

13

[ACM Press the ACM/IEEE 19th International Conference - Saint-malo, France (2016.10.02-2016.10.07)] Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16 - Metamodel specialization for graphical modeling language support

Kalnins, Audris, Barzdins, Janis

Year:

2016

Language:

english

File:

PDF, 801 KB

english, 2016

14

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Rigal — a programming language for compiler writing

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.44 MB

english, 1991

15

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.75 MB

english, 1991

16

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Aggregate approach for specification, validation, simulation and implementation of computer network protocols

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.57 MB

english, 1991

17

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Some models of inductive syntactical synthesis from sample computations

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 1.80 MB

english, 1991

18

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Automatic construction of test sets: Theoretical approach

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 3.78 MB

english, 1991

19

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Automatic construction of test sets: Practical approach

Bārzdinš, Janis, Bjørner, Dines

Year:

1991

Language:

english

File:

PDF, 3.01 MB

english, 1991

20

Towards evidence-based management: A nationwide administrative data-based audit of acute myocardial infarction in Latvia

Barzdins, Juris, Luguzis, Artis, Valeinis, Janis, Lepiksone, Jana, Skrule, Jolanta, Pildava, Santa, Konstante, Rita

Journal:

International Journal of Healthcare Management

Year:

2019

File:

PDF, 1.21 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски